Model Optimisasi untuk Penjadwalan Ulang Perjalanan Kereta Api
نویسندگان
چکیده
منابع مشابه
The Irmis Object Model and Services Api*
The relational model developed for the Integrated Relational Model of Installed Systems (IRMIS) toolkit has been successfully used to capture the Advanced Photon Source (APS) control system software (EPICS process variables and their definitions). The relational tables are populated by a crawler script that parses each Input/Output Controller (IOC) start-up file when an IOC reboot is detected. ...
متن کاملA Meta-Model for the Isabelle API
We represent a theory of (a fragment of) Isabelle/HOL in Isabelle/HOL. The purpose of this exercise is to write packages for domain-specific specifications such as class models, B-machines, . . . , and generally any languages that can be described with a sequence of “datatype” in HOL itself; the Isabelle code-generator can then be used to generate tactic code. Consequently the package is geared...
متن کاملModel-Based API Testing for SMT Solvers∗
Verification back ends such as SMT solvers are typically highly complex pieces of software with performance, correctness and robustness as key requirements. Full verification of SMT solvers, however, is difficult due to their complex nature and still an open question. Grammar-based black-box input fuzzing proved to be effective to uncover bugs in SMT solvers but is entirely input-based and rest...
متن کاملDevelopment of a Simulated Environment for Human- Robot Interaction
Skenario interaksi manusia-robot adalah sangat rumit dan memerlukan definisi yang tepat dari variabel lingkungan untuk pengujian yang ketat aspek-aspek berbeda perilaku robot. Kondisi lingkungan mempengaruhi perilaku manusia dan robot, sehingga manusia dan robot merespon berbeda pada kondisi akustik atau pencahayaan berbeda. Pada penelitian ini dilakukan eksperimen berulang-ulang dengan manusia...
متن کاملWatermarking pada Video: Robustness, Impercetibility dan Pendekatan untuk Domain Terkompresi
ABSTRAK Meningkatnya penggunaan dokumen digital khususnya multimedia (citra, audio, video) dan kemudahan transmisi data melalui Internet meningkatkan kebutuhan terhadap keamanan data terhadap pelanggaran hak cipta. Watermarking merupakan pendekatan yang telah banyak digunakan dan merupakan bagian dari Digital Right Management (DRM) yang dibuat untuk memenuhi kebutuhan tersebut. Khusus untuk vid...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Jurnal Teknik Industri
سال: 2015
ISSN: 2087-7439,1411-2485
DOI: 10.9744/jti.17.2.97-104